Stratégies pour une divinisation : la stèle insolite de Pachermontou-panakhtمن استراﺗﻴﭽﻴﺎت التأليه: لوحة غير مألوفة ﻟ«ﭙﺎشر-مونتو-ﭙﺎنخت»

Stratégies Dynamiques pour la Génération de Contre - exemples ∗

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

Une nouvelle approche pour la sélection de variables basée sur une métrique d'estimation de la qualité

Résumé. La maximisation d’étiquetage (F-max) est une métrique non biaisée d’estimation de la qualité d’une classification non supervisée (clustering) qui favorise les clusters ayant une valeur maximale de F-mesure d’étiquetage. Dans cet article, nous montrons qu’une adaptation de cette métrique dans le cadre de la classification supervisée permet de réaliser une sélection de variables et de cal...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Une approche catégorique unifiée pour la récriture de graphes attribués

J'ai aussi une pensée pour tous mes amis (toulousains, vosgiens ou d'ailleurs ; mathématiciens, informaticiens ou autres) qui m'ont toujours aidé au cours de ces années. Enfin, je remercie Soazig pour tout ce qu'elle m'apporte.

Une approche centrée exigences pour la composition de services web

RÉSUMÉ. Cet article présente une approche centrée exigences pour la composition de services web qui permet : (i) la modélisation des exigences des utilisateurs avec le formalisme la Carte et la spécification des services requis avec un modèle intentionnel de services (MIS) ; (ii) la découverte des services web pertinents en interrogeant le moteur de recherche de services Service-Finder ; (iii) ...